page 108, lines 7 and 10
This is not an error, but it might be easier to understand the example if
\len
were replaced by something like
\saved
.
[First reported by Rosemary Bailey on 29 Aug 94.]